\section{Motivation}
\label{sec:motivation-approach}

This section introduces a motivating example of a hospital application, where informal security requirements are specified in the form of a security policy. From this example, we derive several challenges for \textsc{Mds} approaches and criteria that could be used in their evaluation. 

\input{Example}
\input{Challenges}
\input{Approach}


